Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
261	CheckerMode : A hybrid scheme for timing analysis of modern processor pipelines involving hardware/software interactions Sibin Mohan and Frank Mueller Dept. of Computer Science, Center for Embedded Systems Research, Nort Add to Reading List Source URL: moss.csc.ncsu.edu - Date: 2007-04-09 12:31:57
262	On Feature Protection in C++, Java and Eiffel Markku Sakkinen University of Jyvaskyla ∗ , Department of Computer Science and Information Systems P.O. Box 35, FIUniversity of Jyvaskyla, Finland markku.j.sakkinen@ Add to Reading List Source URL: users.jyu.fi - Date: 2015-06-24 02:57:35
263	Application for Change of Passwords for Special Computer Systems/Departmental Accounts Add to Reading List Source URL: www.its.hku.hk - Date: 2016-06-13 23:22:50
264	CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems Add to Reading List Source URL: math.ucsd.edu - Date: 1999-03-10 19:59:53
265	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: ece.uwaterloo.ca - Date: 2013-01-14 11:59:30
266	Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy Eric Nivel1 & Kristinn R. Thórisson1,2 1 Center for Analysis and Design of Intelligent Agents / School of Computer Science, Re Add to Reading List Source URL: alumni.media.mit.edu - Date: 2013-06-05 19:15:05
267	Rank 2 type systems and recursive denitions Technical Memorandum MIT/LCS/TM{531 Trevor Jim Laboratory for Computer Science Massachusetts Institute of Technology August 1995; revised November 1995 Add to Reading List Source URL: publications.csail.mit.edu - Date: 2001-02-16 11:59:15
268	ACCEPTED TO APPEAR IN IEEE TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1 The STREAM Mechanism to Improve CPS Security The Case of the Smart Grid Add to Reading List Source URL: ganges.usc.edu - Date: 2016-05-03 14:55:46
269	A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-03-26 21:26:17
270	A Decision Procedure for Bit-Vectors and Arrays Vijay Ganesh and David L. Dill Computer Systems Laboratory Stanford University {vganesh, dill}@cs.stanford.edu Add to Reading List Source URL: ece.uwaterloo.ca

UPDATE